propositional logic questions